#include <stdio.h>
#include <assert.h>

int bad_int_size_is_32(){
    return (1 << 15) > 0 && (1 << 31) < 0;
}

/*
int bad_int_size_is_32(){
    int set_msb = 1 << 31;
    int beyond_msb = set_msb << 1;

    return set_msb && !beyond_msb;
}

int bad_int_size_is_32_on16(){
    int set_msb = 1 << 15 << 15 << 1;
    int beyond_msb = set_msb << 1;

    return set_msb && !beyond_msb;
}
*/


int main(){

    assert(bad_int_size_is_32());

    return 0;
}
